n order logic

n阶逻辑